Deferred<'error, 'value>Union

A one-shot, typed handoff point that can be completed exactly once with a full Exit.